From 624af74f13cc47668bc48bd53ec0ad34ac29870c Mon Sep 17 00:00:00 2001 From: Gerd Moellmann Date: Mon, 15 Jan 2001 20:14:16 +0000 Subject: [PATCH] (x_set_mouse_face_gc): If the last use mouse face has gone in the meantime, use face MOUSE_FACE_ID. --- src/xterm.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/xterm.c b/src/xterm.c index 0cd68a7f9e3..1ad1fd4d1f9 100644 --- a/src/xterm.c +++ b/src/xterm.c @@ -2661,9 +2661,12 @@ x_set_mouse_face_gc (s) int face_id; struct face *face; - /* What face has to be used for the mouse face? */ + /* What face has to be used last for the mouse face? */ face_id = FRAME_X_DISPLAY_INFO (s->f)->mouse_face_face_id; face = FACE_FROM_ID (s->f, face_id); + if (face == NULL) + face = FACE_FROM_ID (s->f, MOUSE_FACE_ID); + if (s->first_glyph->type == CHAR_GLYPH) face_id = FACE_FOR_CHAR (s->f, face, s->first_glyph->u.ch); else -- 2.30.2